Concurrency computer science) - PDFSEARCH.IO - Document Search Engine

Concurrency computer science)
Results: 359

#	Item
171	Maurice Peter Herlihy Box 1910, Computer Science Dept Brown University Providence, RI[removed]http://www.cs.brown.edu/people/mph/home.html Add to Reading List Source URL: cs.brown.edu Language: English - Date: 2015-01-01 17:19:43 Computer science Transaction processing Maurice Herlihy Software transactional memory Dijkstra Prize Herlihy Linearizability Nir Shavit Concurrent data structure Computing Concurrent computing Concurrency control
172	Reflective Transaction Processing – Motivations and Issues Weihai Yu Department of Computer Science University of Tromsø [removed] Add to Reading List Source URL: www.nik.no Language: English - Date: 2002-09-06 09:05:33 Information Concurrency control Distributed transaction Database transaction Serializability Two-phase commit protocol Isolation Schedule Business transaction management Transaction processing Data management Data
173	Speculative Synchronization: Applying Thread-Level Speculation to Explicitly Parallel Applications Jose´ F. Mart´ınezy and Josep Torrellas Department of Computer Science University of Illinois at Urbana-Champaign Urb Add to Reading List Source URL: iacoma.cs.uiuc.edu Language: English - Date: 2002-07-31 19:58:04 Concurrent computing Lock Non-blocking algorithm Critical section Memory barrier Barrier Parallel computing OpenMP Deadlock Concurrency control Computing Computer programming
174	Accurate and Efficient Filtering for the Intel Thread Checker Race Detector Paul Sack Department of Computer Science University of Illinois at Add to Reading List Source URL: iacoma.cs.uiuc.edu Language: English - Date: 2006-10-11 19:24:05 Electronics Signal processing Concurrency Deadlock Parallel computing Lock Thread Electronic filter Filter design Computing Signal processing filter Concurrency control
175	Fast Component Interaction for Real-Time Systems Udo Steinberg, Jean Wolter, Hermann H¨artig Technische Universit¨at Dresden Department of Computer Science[removed]Dresden, Germany {steinberg, wolter, haertig}@os.inf.tu- Add to Reading List Source URL: os.inf.tu-dresden.de Language: English - Date: 2006-06-02 11:38:52 Concurrency control Computer programming Operations research Planning Scheduling Thread Microkernel Critical section Kernel Computing Computer architecture Scheduling algorithms
176	SigRace: Signature-Based Data Race Detection Abdullah Muzahid, Dario Suarez, Shanxiang Qi & Josep Torrellas Computer Science Department University of Illinois at Urbana-Champaign Add to Reading List Source URL: iacoma.cs.uiuc.edu Language: English* - Date: 2010-12-24 12:36:34 Software engineering Software bugs Concurrent computing Thread Parallel computing Lock Synchronization Race condition Debugging Concurrency Computing Computer programming
177	Concurrency COMS W4115 Prof. Stephen A. Edwards Spring 2002 Columbia University Department of Computer Science Add to Reading List Source URL: www.cs.columbia.edu Language: English - Date: 2002-04-24 19:46:57 Concurrent computing Coroutine Subroutines Control flow ALGOL 68 C++ Software engineering Computing Computer programming
178	Technische UniversitŠt MŸnchen FakultŠt fŸr Informatik Lehrstuhl fŸr Programmiermethodik und Verteilte Systeme Univ.-Prof. Dr. M. Broy Add to Reading List Source URL: www4.in.tum.de Language: English - Date: 2007-08-26 06:05:19 Petri nets Formal methods Model checking Tamagotchi Software engineering Visual programming language Computer science TAPAAL Model Checker Models of computation Concurrency Diagrams
179	Contender: A Resource Modeling Approach for Concurrent Query Performance Prediction Jennie Duggan Olga Papaemmanouil Add to Reading List Source URL: users.eecs.northwestern.edu Language: English SQL Computer science Database theory Query optimizer Latency Query plan Bin Concurrency Database Database management systems Theoretical computer science Data management
180	Finding Linearization Violations in Lock-Free Concurrent Data Structures by Sebastien Alberto Dabdoub S.B., Massachusetts Institute of Technology (2012) Add to Reading List Source URL: pdos.csail.mit.edu Language: English - Date: 2015-03-27 16:16:57 Transaction processing Computer programming Concurrency Theoretical computer science Linearizability Non-blocking algorithm Concurrent data structure Parallel computing Sequential consistency Computing Concurrency control Concurrent computing

UPDATE